Optimal. Leaf size=130 \[ -i a b d x-i b^2 d x \text {ArcTan}(c x)-\frac {i d (1+i c x)^2 (a+b \text {ArcTan}(c x))^2}{2 c}+\frac {2 b d (a+b \text {ArcTan}(c x)) \log \left (\frac {2}{1-i c x}\right )}{c}+\frac {i b^2 d \log \left (1+c^2 x^2\right )}{2 c}-\frac {i b^2 d \text {PolyLog}\left (2,1-\frac {2}{1-i c x}\right )}{c} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.09, antiderivative size = 130, normalized size of antiderivative = 1.00, number of steps
used = 9, number of rules used = 7, integrand size = 20, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.350, Rules used = {4974, 4930,
266, 1600, 4964, 2449, 2352} \begin {gather*} -\frac {i d (1+i c x)^2 (a+b \text {ArcTan}(c x))^2}{2 c}+\frac {2 b d \log \left (\frac {2}{1-i c x}\right ) (a+b \text {ArcTan}(c x))}{c}-i a b d x-i b^2 d x \text {ArcTan}(c x)+\frac {i b^2 d \log \left (c^2 x^2+1\right )}{2 c}-\frac {i b^2 d \text {Li}_2\left (1-\frac {2}{1-i c x}\right )}{c} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 266
Rule 1600
Rule 2352
Rule 2449
Rule 4930
Rule 4964
Rule 4974
Rubi steps
\begin {align*} \int (d+i c d x) \left (a+b \tan ^{-1}(c x)\right )^2 \, dx &=-\frac {i d (1+i c x)^2 \left (a+b \tan ^{-1}(c x)\right )^2}{2 c}+\frac {(i b) \int \left (-d^2 \left (a+b \tan ^{-1}(c x)\right )-\frac {2 i \left (i d^2-c d^2 x\right ) \left (a+b \tan ^{-1}(c x)\right )}{1+c^2 x^2}\right ) \, dx}{d}\\ &=-\frac {i d (1+i c x)^2 \left (a+b \tan ^{-1}(c x)\right )^2}{2 c}+\frac {(2 b) \int \frac {\left (i d^2-c d^2 x\right ) \left (a+b \tan ^{-1}(c x)\right )}{1+c^2 x^2} \, dx}{d}-(i b d) \int \left (a+b \tan ^{-1}(c x)\right ) \, dx\\ &=-i a b d x-\frac {i d (1+i c x)^2 \left (a+b \tan ^{-1}(c x)\right )^2}{2 c}+\frac {(2 b) \int \frac {a+b \tan ^{-1}(c x)}{-\frac {i}{d^2}-\frac {c x}{d^2}} \, dx}{d}-\left (i b^2 d\right ) \int \tan ^{-1}(c x) \, dx\\ &=-i a b d x-i b^2 d x \tan ^{-1}(c x)-\frac {i d (1+i c x)^2 \left (a+b \tan ^{-1}(c x)\right )^2}{2 c}+\frac {2 b d \left (a+b \tan ^{-1}(c x)\right ) \log \left (\frac {2}{1-i c x}\right )}{c}-\left (2 b^2 d\right ) \int \frac {\log \left (\frac {2}{1-i c x}\right )}{1+c^2 x^2} \, dx+\left (i b^2 c d\right ) \int \frac {x}{1+c^2 x^2} \, dx\\ &=-i a b d x-i b^2 d x \tan ^{-1}(c x)-\frac {i d (1+i c x)^2 \left (a+b \tan ^{-1}(c x)\right )^2}{2 c}+\frac {2 b d \left (a+b \tan ^{-1}(c x)\right ) \log \left (\frac {2}{1-i c x}\right )}{c}+\frac {i b^2 d \log \left (1+c^2 x^2\right )}{2 c}-\frac {\left (2 i b^2 d\right ) \text {Subst}\left (\int \frac {\log (2 x)}{1-2 x} \, dx,x,\frac {1}{1-i c x}\right )}{c}\\ &=-i a b d x-i b^2 d x \tan ^{-1}(c x)-\frac {i d (1+i c x)^2 \left (a+b \tan ^{-1}(c x)\right )^2}{2 c}+\frac {2 b d \left (a+b \tan ^{-1}(c x)\right ) \log \left (\frac {2}{1-i c x}\right )}{c}+\frac {i b^2 d \log \left (1+c^2 x^2\right )}{2 c}-\frac {i b^2 d \text {Li}_2\left (1-\frac {2}{1-i c x}\right )}{c}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.13, size = 151, normalized size = 1.16 \begin {gather*} \frac {i d \left (-2 i a^2 c x-2 a b c x+a^2 c^2 x^2+b^2 (-i+c x)^2 \text {ArcTan}(c x)^2+2 b \text {ArcTan}(c x) \left (a-2 i a c x-b c x+a c^2 x^2-2 i b \log \left (1+e^{2 i \text {ArcTan}(c x)}\right )\right )+2 i a b \log \left (1+c^2 x^2\right )+b^2 \log \left (1+c^2 x^2\right )-2 b^2 \text {PolyLog}\left (2,-e^{2 i \text {ArcTan}(c x)}\right )\right )}{2 c} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Both result and optimal contain complex but leaf count of result is larger than twice
the leaf count of optimal. 343 vs. \(2 (118 ) = 236\).
time = 0.19, size = 344, normalized size = 2.65
method | result | size |
derivativedivides | \(\frac {-i d \,b^{2} \arctan \left (c x \right ) c x +i d a b \arctan \left (c x \right )+b^{2} \arctan \left (c x \right )^{2} d c x -b^{2} \ln \left (c^{2} x^{2}+1\right ) \arctan \left (c x \right ) d -i d \,a^{2} \left (-\frac {1}{2} c^{2} x^{2}+i c x \right )+\frac {i d \,b^{2} \ln \left (c^{2} x^{2}+1\right )}{2}-\frac {i b^{2} d \ln \left (c x +i\right ) \ln \left (\frac {i \left (c x -i\right )}{2}\right )}{2}-\frac {i b^{2} d \ln \left (c x +i\right )^{2}}{4}-i d a b c x +\frac {i b^{2} d \ln \left (c x +i\right ) \ln \left (c^{2} x^{2}+1\right )}{2}+\frac {i b^{2} d \ln \left (c x -i\right )^{2}}{4}-\frac {i b^{2} d \ln \left (c x -i\right ) \ln \left (c^{2} x^{2}+1\right )}{2}+\frac {i b^{2} d \dilog \left (-\frac {i \left (c x +i\right )}{2}\right )}{2}+\frac {i b^{2} d \ln \left (c x -i\right ) \ln \left (-\frac {i \left (c x +i\right )}{2}\right )}{2}+\frac {i d \,b^{2} \arctan \left (c x \right )^{2}}{2}-\frac {i b^{2} d \dilog \left (\frac {i \left (c x -i\right )}{2}\right )}{2}+\frac {i d \,b^{2} \arctan \left (c x \right )^{2} c^{2} x^{2}}{2}+2 a b \arctan \left (c x \right ) d c x +i d a b \arctan \left (c x \right ) c^{2} x^{2}-a b d \ln \left (c^{2} x^{2}+1\right )}{c}\) | \(344\) |
default | \(\frac {-i d \,b^{2} \arctan \left (c x \right ) c x +i d a b \arctan \left (c x \right )+b^{2} \arctan \left (c x \right )^{2} d c x -b^{2} \ln \left (c^{2} x^{2}+1\right ) \arctan \left (c x \right ) d -i d \,a^{2} \left (-\frac {1}{2} c^{2} x^{2}+i c x \right )+\frac {i d \,b^{2} \ln \left (c^{2} x^{2}+1\right )}{2}-\frac {i b^{2} d \ln \left (c x +i\right ) \ln \left (\frac {i \left (c x -i\right )}{2}\right )}{2}-\frac {i b^{2} d \ln \left (c x +i\right )^{2}}{4}-i d a b c x +\frac {i b^{2} d \ln \left (c x +i\right ) \ln \left (c^{2} x^{2}+1\right )}{2}+\frac {i b^{2} d \ln \left (c x -i\right )^{2}}{4}-\frac {i b^{2} d \ln \left (c x -i\right ) \ln \left (c^{2} x^{2}+1\right )}{2}+\frac {i b^{2} d \dilog \left (-\frac {i \left (c x +i\right )}{2}\right )}{2}+\frac {i b^{2} d \ln \left (c x -i\right ) \ln \left (-\frac {i \left (c x +i\right )}{2}\right )}{2}+\frac {i d \,b^{2} \arctan \left (c x \right )^{2}}{2}-\frac {i b^{2} d \dilog \left (\frac {i \left (c x -i\right )}{2}\right )}{2}+\frac {i d \,b^{2} \arctan \left (c x \right )^{2} c^{2} x^{2}}{2}+2 a b \arctan \left (c x \right ) d c x +i d a b \arctan \left (c x \right ) c^{2} x^{2}-a b d \ln \left (c^{2} x^{2}+1\right )}{c}\) | \(344\) |
risch | \(a^{2} d x +\frac {i b^{2} \ln \left (\frac {1}{2}-\frac {i c x}{2}\right ) \ln \left (\frac {1}{2}+\frac {i c x}{2}\right ) d}{c}+\frac {i b^{2} \dilog \left (\frac {1}{2}-\frac {i c x}{2}\right ) d}{c}-\frac {3 i \ln \left (-i c x +1\right )^{2} b^{2} d}{8 c}-\frac {a b d \ln \left (c^{2} x^{2}+1\right )}{c}-\frac {\ln \left (-i c x +1\right )^{2} x \,b^{2} d}{4}+\frac {3 \ln \left (-i c x +1\right ) x \,b^{2} d}{4}-\frac {d c a b \ln \left (-i c x +1\right ) x^{2}}{2}-\frac {i d c \,b^{2} \ln \left (-i c x +1\right )^{2} x^{2}}{8}-\frac {i d \,b^{2} \left (c^{2} x^{2}-2 i c x -1\right ) \ln \left (i c x +1\right )^{2}}{8 c}+\frac {i d a b \arctan \left (c x \right )}{c}+i \ln \left (-i c x +1\right ) x a b d -\frac {i b^{2} \ln \left (-i c x +1\right ) \ln \left (\frac {1}{2}+\frac {i c x}{2}\right ) d}{c}+\frac {3 b^{2} d \arctan \left (c x \right )}{8 c}-i a b d x +\frac {i d c \,b^{2} \ln \left (-i c x +1\right ) x^{2}}{8}+\frac {11 i b^{2} d \ln \left (c^{2} x^{2}+1\right )}{16 c}+\frac {i a^{2} c d \,x^{2}}{2}-\frac {i b^{2} \ln \left (-i c x +1\right ) \left (-i c x +1\right ) d}{2 c}+\frac {i d \,b^{2} \ln \left (-i c x +1\right ) \left (-i c x +1\right )^{2}}{8 c}+\frac {3 i d \,a^{2}}{2 c}+\left (\frac {i d \,b^{2} \left (c \,x^{2}-2 i x \right ) \ln \left (-i c x +1\right )}{4}+\frac {d b \left (2 a \,c^{2} x^{2}-4 i a c x +3 i b \ln \left (-i c x +1\right )-2 x b c \right )}{4 c}\right ) \ln \left (i c x +1\right )+\frac {d a b}{c}\) | \(462\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \frac {i d \left (\int \left (- \frac {4 i a^{2}}{c^{2} x^{2} + 1}\right )\, dx + \int \left (- \frac {i b^{2} \log {\left (i c x + 1 \right )}}{c^{2} x^{2} + 1}\right )\, dx + \int \left (- \frac {4 a b \log {\left (i c x + 1 \right )}}{c^{2} x^{2} + 1}\right )\, dx + \int \frac {4 a^{2} c x}{c^{2} x^{2} + 1}\, dx + \int \frac {4 a^{2} c^{3} x^{3}}{c^{2} x^{2} + 1}\, dx + \int \frac {2 b^{2} c x}{c^{2} x^{2} + 1}\, dx + \int \left (- \frac {4 i a^{2} c^{2} x^{2}}{c^{2} x^{2} + 1}\right )\, dx + \int \frac {2 i b^{2} c^{2} x^{2}}{c^{2} x^{2} + 1}\, dx + \int \left (- \frac {6 a b c^{2} x^{2}}{c^{2} x^{2} + 1}\right )\, dx + \int \frac {5 b^{2} c x \log {\left (i c x + 1 \right )}}{c^{2} x^{2} + 1}\, dx + \int \frac {4 i a b c x}{c^{2} x^{2} + 1}\, dx + \int \left (- \frac {2 i a b c^{3} x^{3}}{c^{2} x^{2} + 1}\right )\, dx + \int \frac {2 i b^{2} c^{2} x^{2} \log {\left (i c x + 1 \right )}}{c^{2} x^{2} + 1}\, dx + \int \left (- \frac {4 a b c^{2} x^{2} \log {\left (i c x + 1 \right )}}{c^{2} x^{2} + 1}\right )\, dx + \int \left (- \frac {4 i a b c x \log {\left (i c x + 1 \right )}}{c^{2} x^{2} + 1}\right )\, dx + \int \left (- \frac {4 i a b c^{3} x^{3} \log {\left (i c x + 1 \right )}}{c^{2} x^{2} + 1}\right )\, dx\right )}{4} + \left (- \frac {i b^{2} c d x^{2}}{8} - \frac {b^{2} d x}{4}\right ) \log {\left (i c x + 1 \right )}^{2} + \frac {\left (- i b^{2} c^{2} d x^{2} - 2 b^{2} c d x - 3 i b^{2} d\right ) \log {\left (- i c x + 1 \right )}^{2}}{8 c} + \frac {\left (- 2 a b c^{2} d x^{2} + 4 i a b c d x + i b^{2} c^{2} d x^{2} \log {\left (i c x + 1 \right )} + 2 b^{2} c d x \log {\left (i c x + 1 \right )} + 2 b^{2} c d x - i b^{2} d \log {\left (i c x + 1 \right )}\right ) \log {\left (- i c x + 1 \right )}}{4 c} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int {\left (a+b\,\mathrm {atan}\left (c\,x\right )\right )}^2\,\left (d+c\,d\,x\,1{}\mathrm {i}\right ) \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________